main (int argc, char *argv[]) {
  int i;
  for (i=0; i < argc; i++) printf("param %d = %s\n",i ,argv[i]);
}
